treat Y_r,s with r = s separately in the main theorem
add formal definition of 'normal form'
introduce C(p(X)) and R(p(X))