introduce the notations C(p(X)) and R(p(X))
add GM.tex

This is the document we discussed with Gert-martin on 12/06/2013.