H
E
E
L
E
M
E
N
T
S
let a point D be taken at random on the other side of the straight line AB,
and with center C and distance CD
let the circle EFG be described; [Post.3]
let the straignt line EG be bisected at H, [I.10]
and
let the straight lines CG, CH, CE be joined. [Post.1]
I say that CH has been drawn perpendicular to the given infinite straight line AB from the given point C which is not on it.
