Definition. Let AB and BC be two lines intersecting at B. The lines are called orthogonal (or perpendicular) if ∠ABC is right.Proposition 1.2.1. There exist right angles.Proof. Consider an isosceles triangle ∆ABC, and let M be the midpoint of |AB|. Then Theorem SAS implies that ∆ABM ≡ ∆ACM, so ∠AMB ≡ ∠AMC. This shows that ∠AMC is right.