Pythagoras Theorem (by Sandy Li)