This lemma is part of the well-definedness proof of the embedding of the natural numbers into the cardinal numbers.