ANGLE IN A SEMICIRCLE THEOREM