Listed all lemmas we should try to prove about the primitive generators