5.4 Pythagoras’ theorem 1