ΔADE≡ΔBCE
AE≡EB (AEB echilateral. deci are toate laturile egale )
AD≡BC (sunt laturile unui patrat)
∡DAE≡∡EBC (deoarece ∡DAE=90-60=30, ∡EBC=90-60=30, AEB echilateral deci are toate unghiurile congruente si =60)
ΔADE≡ΔBCE conform cazului LUL atunci si DE≡EC, deci ΔDEC este isoscel