$EBF\text{'}▵\cong E\text{'}CF\text{'}▵\cong E\text{'}DF▵\cong EAF▵$, mert $EA=EB=E\text{'}C=E\text{'}D$ és $AF=DF=CF\text{'}=BF\text{'}$, mert egybevágó négyzetek félátlói. Továbbá $GAH$ szög=$KCJ$ szög=$ADC$ szög, mert merőleges szárú szögek s így a háromszögek $A$, $B$, $C$, $D$ csúcsainál fekvó szögek mindegyike ${90}^{\circ }$+ADC szög.
Így $FE=EF\text{'}=F\text{'}E\text{'}=E\text{'}F$.
Másrészt pl. $FEF\text{'}$ szög=${90}^{\circ }$, mert $BEA$ szög ${90}^{\circ }$ és $BEF\text{'}$ szög=$AEF$ szög, mint egybevágó háromszögek megfelelő szögei. Ebből pedig már következik, hogy a másik 3 szög is ${90}^{\circ }$, tehát $EFF\text{'}E\text{'}$ négyzet.