apply corrections by Magdaleen
treat Y_r,s with r = s separately in the main theorem
add formal definition of 'normal form'
introduce C_0(p(X)) and R_0(p(X))
change abstract
Merge pull request #28 from steenpass/andreas

revise realclassify_2.tex