\exists k_i \in \mathbb{N}