Read · 1 min
Euclid's Elements tells us that there is a unique line parallel/perpendicular to another through a point (in the plane). If we start with an original line and a point , draw a line perpendicular to through , then draw a line perpendicular to through . must then be parallel to , as the two are both perpendicular to the same line ().