Theorem 3.2: The circle whose equation is

(x - x0)2 + (y - y0)2 = r2

and the vertical line   x = a   meet at the points where

Proof: Let   x = a   in the equation of the circle and solve for   y.

next theorem (3.3)