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