>And building from axioms is too verbose. Ridicolous. You use previous results which were built up from axioms. The correct formal proof here is very short, it

>And building from axioms is too verbose. Ridicolous. You use previous results which were built up from axioms. The correct formal proof here is very short, it is just an appeal to the definition of equality for two real numbers.