Polák, J. Proofs in Plane Geometry Using Vectors. MFI 2021, 30, 161–177.