The details:  End of algebraic proof.