G.CI.2.b: Inscribed angles on a diameter are right angles; and