Exercise 9C - Pythagoras' Theorem