Theorem 2. Angle subtended at the circumference by a semicircle is 90°