Berlekamp_Zassenhaus.Factor_Bound