k_1, k_2 \in N