k(x)\in N_0