Wiemy, że:

$\left|AB\right|=\left|BE\right|$  

Miary kątów przyległych do boku $AB$ są równe:

$\left|\sphericalangle BAC\right|=\alpha$  

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

Miary kątów przyległych do boku $EB$ są równe:

$\left|\sphericalangle DEB\right|=\alpha$  

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

Na podstawie cechy kąt-bok-kąt możemy stwierdzić, że te trójkąty są przystające.