AB ║ EF
Să demonstrăm.
Vom arăta că ΔAOB ~ ΔEOF, de unde vom extrage o pereche de unghiuri corespondente (congruente) rezultând că AB║EF.
∡EOF comun
OE ≡ OF = r
OA ≡ OB = R
⇒ OE / OA = OF / OB
⇒ (cazul L.U.L.) ΔAOB ~ ΔEOF
⇒ ∡ABO ≡ ∡ EFO
⇒ ∡ABO ≡ ∡ EFO corespondente
⇒ AB ║ EF