for n being Nat
for S2 being sequence of (Euclid n) st S2 is Cauchy holds
S2 is convergent