Cauchy sequence
Fischer's proof of completeness is somewhat indirect. It uses the fact that the indefinite integrals of the functions "gn" in the given Cauchy sequence, namely