9.3: Converse of Pythagoras' Theorem