k \in Z