RE: Analytic Geometry Proof