Pythagoras theorem - Proof