Der Satz über Dezimalbruchfolgen und Cauchy-Folgen.