Presupunem, prin reducere la absurd ca patrulaterul ABCD este paralelogram
atunci unghiurile opuse A si C sunt congruente
adica m(A)=m(C)
dar, din ipoteza
m(A) >m(C) contradictie
Deci presupunerea noastra a fost gresita. Deci patrulaterul NU este paralelogram