1.3.1 Bevis for Pythagoras' sætning