(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.]