Orthocenter and Pythagoras