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)