📘 ensembles, mathématiques discrètes

1. **Énoncé du problème :** Soient $k, k' \in \mathbb{N}$ et $D_k = \{n \in \mathbb{N} \mid n \geq k\}$. Montrer que $D_k = D_{k'}$ implique $k = k'$.