Prove the completeness of the reals and the zero test