10.1: Pythagoras' Theorem