k ≠ 0