introduce C_0(p(X)) and R_0(p(X))