Theorem of Pythagoras /* comment here */