Cauchy sequence
so that is a Cauchy sequence. If " is its limit, then and . By uniqueness it follows that and hence , as required.