HG 10
T12. Two lines perpendicular to the same line are parallel.
T13. There is only one perpendicular to a given line through an external point.
T14. If a point P is not on a given line l, then there exists at least one line
through P which is parallel to 1.