Twierdzenie Pitagorasa w postaci implikacji:

Jeżeli trójkąt jest prostokątny to suma kwadratów długości przyprostokątnych tego trójkąta jest równa kwadratowi długości przeciwprostokątnej.

Założenia - tró