Oznaczmy punkt przecięcia odcinków CE i DF jako S.

Trójkąty CDF i CFS mają po jednym kącie prostym oraz wspólny kąt CFD, więc są podobne na podstawie cechy KKK.

Z podobieństwa tych trójkątów wynika, że:

$\left|\sphericalangle ECB\right|=\left|\sphericalangle FDC\right|$  

Czworokąt ABCD jest kwadratem, więc:

$\left|\sphericalangle CBE\right|=\left|\sphericalangle DCF\right|={90}^{\circ }$  

$\left|BC\right|=\left|CD\right|$  

Z powyższych trzech równości wynika, że trójkąty BCE i CDF są przystające na podstawie cechy KBK, co należało dowieść.