File:MathFoundations113 Real numbers and Cauchy sequences of rationals III