Category:Combination Theorem for Cauchy Sequences