Uzasadnimy, że trójkąty FDE i GAE są przystające. 

Zauważmy, że  

$\left|\sphericalangle EDF\right|={90}^{\circ }=\left|\sphericalangle EAG\right|$  

Ponadto, 

$\left|\sphericalangle DEF\right|=\left|\sphericalangle GEA\right|$  

ponieważ miary kątów wierzchołkowych są równe. 

Dodatkowo, 

$\left|DE\right|=\left|EA\right|$

ponieważ punkt E jest środkiem boku AD.  

Na mocy cechy przystawania KBK, trójkąty FDE i GAE są przystające.