Verification of Pythagoras' Theorem