Inscribed angle theorem and tangent secant as corollary