Inscribed angle theorem