k != 0