Theorem 3.2: The circle whose equation is

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)