Equation of Circle/Cartesian/Corollary 2