(1) ∡(AMN) ≡ ∡(A'AB) alterne interne față de secanta AM.(2) ∡(ANM) ≡ ∡(CAA') corespondente față de secanta AN.(3) ∡(CAA') ≡ ∡(A'AB) pentru că AA' este bisectoarea unghiului A.Din (2), (3) ⇒ ∡(ANM) ≡ ∡(AA'B) (4)Din (1), (4) ⇒ ∡(AMN) ≡ ∡(ANM) [q. e. d.]