The details: End of algebraic proof.
Return