Theorem 6: The angle in a semicircle is a right angle