in the straightedge and compass construction of the perpendicular line below, how do you know that AB l CD?

in the straightedge and compass construction of the perpendicular line below how do you know that AB l CD class=