m(∡EAB)=m(∡ABF) =90°
EFIIAB⇒m(∡FEB)=m(∡ABE) =45° ⇒m(∡AEF) =90°
rezulta triunghiul EBF dreptunghic isoscel EF=FB si EF II AB
m(∡ABE)=m(∡EBF)=45° ⇒ m(∡AEB) =45°
⇒triunghiul EAB dreptunghic isoscel ⇒m(∡EFB) =90°
rezulta ca AEFB este patrat deoarece are toate unghiurile de 90°