W trójkątach prostokątnych figura na boku naprzeciwko kąta prostego jest równa formom na bokach zawierających kąt prosty, podobnym i podobnie wyrysowanej.
Niech ABC będzie trójkątem prostokątnym mającym kąt prosty pod BAC. Twierdzę, że forma na BC jest równa formom na BA, AC, podobnym i podobnie wyrysowanym.