pruned some auxiliary lemmas in RC
Merge pull request #38 from benediktahrens/RC-lemma

pruned some auxiliary lemmas in RC