HG 6
D13. Lines l and m are perpendicular if there is a ray AB on l and a ray AC on m such that – BAC is a right angle.
T4. There exists a unique perpendicular to a given line at a given point of the line.
T5. There exists a perpendicular to a given line from a point not on the line.