k, m, n \in\mathbf{N}