File:Adjacent-angles-perpendicular.jpg

figure of Proof 1