via hyperpallium in this question on the Mathematics Stack Exchange

Of course, \(\overline{OP}\cong\overline{OR}\;\Leftrightarrow\;\angle RPO = \angle PRO\). And then

This base case of the Inscribed Angle Theorem is typically proven by way of the

Triangle Angle Sum Theorem (perhaps in the form of the “strong” Exterior Angle Theorem).

After all, what does anyone remember from (Euclidean) Geometry class, except that

“The angles of a triangle add-up to \(180^\circ\)” (and maybe the Pythagorean Theorem)?

But the TAST, in turn, is typically proven by way of the Alternate Interior Angles

Theorem for parallel lines. (The results are, in fact, logically equivalent.)

hyperpallium has demonstrated that such a digression is actually unnecessary.

The inscribed angle property follows nicely from the parallelism property. Nifty!