3 lemmas for precategories

only changes RC/precategories