Twierdzenie Pitagorasa
Założenie: Trójkąt jest prostokątny.
Teza: Kwadrat długości przeciwprostokątr jest równy
sumie kwadratów długości przyprostokątnych sj i b.