AISL 3.2.1 Pythagoras' theorem