File:MathFoundations114 Real numbers as Cauchy sequences don't work!