ΔFGC متساوی الساقین است. بنابراین $\hat {F}=\hat{C}$ هم‌نهشتی مثلث‌های ΔDEF و ΔABC به حالت (ز ض ز): $\hat{F}=\hat{C} , \hat{E}=\hat{B}=90 ,\hat{A}=\hat{D} $ $\hat{E}=\hat{B}=90,  AB=DE ,  \hat{A}=\hat{D} $