9.1: Pythagoras' Theorem