Circle theorem 3 - angles in a semicircle