Lemma 1.8.1.23.  Let M ⊆ , k ∈ , f: ℕk ↔ M be a bijection. Then:
Proof.  By induction on k.
Remarks.

This lemma is necessary to prove the following theorem. k and f do not appear in the result, but they enable a proof via induction on k.