Dla przypomnienia jego treść:
Suma kwadratów długości przyprostokątnych trójkąta prostokątnego jest równa kwadratowi długości przeciwprostokątnej tego kwadratu.