Pythagoras theorem proof