Inscribed angle its intersection points equals half of the central angle subtended by the chord. See also Tangent lines to circles. The inscribed angle theorem is used in many proofs of elementary Euclidean geometry of the plane. A special case of the theorem is Thales' theorem, which states that the angle subtended by a diameter is always 90°, i.e., a right angle. As a consequence of the theorem, opposite angles of cyclic quadrilaterals sum to 180°; conversely, any quadrilateral for which this is true can be inscribed in a circle. As another example, the inscribed angle theorem is the basis for several
Right angle proof of this postulate using the previous postulates, but it may be argued that this proof makes use of some hidden assumptions. Saccheri gave a proof as well but using a more explicit assumption. In Hilbert's axiomatization of geometry this statement is given as a theorem, but only after much groundwork. One may argue that, even if postulate 4 can be proven from the preceding ones, in the order that Euclid presents his material it is necessary to include it since without it postulate 5, which uses the right angle as a unit of measure, makes no sense. A right