Zauważmy, że trójkąty ADB oraz CEB są prostokątne, więc:

$\left|\angle ADB\right|=\left|\angle CEB\right|={90}^{\circ }$  

Boki CE oraz DA są równej długości (1 krateczka):

$\left|CE\right|=\left|DA\right|$  

Boki DB oraz EB są także równej długość (2 krateczki):

$\left|DB\right|=\left|EB\right|$  

Trójkąty ADB oraz CEB są przystające z cechy bkb (bok kąt bok).

Jeżeli trójkąty są przystające, to miary odpowiadających sobie kątów w tych trójkątach są równe, stąd:

$\left|\angle ABD\right|=\left|\angle CBE\right|\left(\star \right)$      

Zauważmy, że:

$\left|\angle DBC\right|+\left|\angle CBE\right|={90}^{\circ }$  

Podstawiając do powyższej sumy równość z  $\left(\star \right)$  otrzymujemy:

$\left|\angle DBC\right|+\left|\angle ABD\right|={90}^{\circ }$  

Kąt ABC jest sumą kąta ABD oraz DBC, więc:

$\left|\angle ABC\right|=\left|\angle ABD\right|+\left|\angle DBC\right|={90}^{\circ }$  

Pokazaliśmy, że kąt ABC jest kątem prostym.