Pythagoras, Folgerung für nicht rechtwinklige Dreiecke