M ist abzählbar unendlich, d.h. es gibt eine Bijektion \( \mathbb N \to M \).
Ferner gibt es eine Bijektion \( \mathbb N^* \to \mathbb N \), also auch eine \(f: \mathbb N^* \to M) .
Definiere \(g: \mathbb N \to M \cup \{m\} \) durch g(0)=m und g(n)=f(n) sonst.