8.6. Pythagoras Theorem