moved C-equivalence into a definition; added lemma 2.3 and proof; added corollary 2.4 and lemma 2.5; added reference to lemma 2.3; added reference to prop (in-notes) 315 (as prop_2_47). closes #2