Twierdzenie Pitagorasa:

W  trójkącie prostokątnym suma kwadratów długości przyprostokątnych jest równa

kwadratowi długości przeciwprostokątnej tego trójkąta.

Twierdzenie Pitagorasa w postaci implikacji:

Jeż