Reworked lemma sum_phi'_factors
Tuned num_elems_of_ord_eq_phi'
Tuned sum_phi'_factors
Merge pull request #2 from wimmers/master

Tuned Algebra_Stuff