AB||MN ( ABCD dreptunghi , ipoteza eci MN||AB)
⇒ABMN trapez (1)
DM≡NC (ipoteza, constructie)
AD≡BC ( ipoteza, ABCD dreptunghi)
mas ∡D=mas∡C=90° ( ABCD dreptunghi, ipoteza)
deci , caz CC, ΔADM≡ΔBCN⇒NB≡MA (2)
din (1) si (2)⇒ABNM trapez isoscel, cerinta