Berlekamp_Zassenhaus.Distinct_Degree_Factorization