Dem: -notam { E∈(MN)⇔PE⊥MN si F∈(MP)⇔NF⊥MP.
-observam ca d(N,MP)=NF iar d(P,MN)=PE.
[NF]≡[PE](i.p)
[NP]≡[NP](latura comuna)
----------------------------------
⇒(din cazul de congruenta I.C)⇒ΔNFP≡ΔPEN⇒[PF]≡[NE](1)⇒[ME]≡[MF](2).
-din (1) si (2) ⇒ [MN]≡[MP] adica ΔMNP-isoscel de aici concluzia.