Reduces the computation of mu[m] to certain congruence classes.