By using the method of algebraic number theory, we can generate Gauss' theorem to the group of residue classes mod m and receive the following conclusion:If b is the ideal of the group of residue classes mod m , then(e(2) is the number of those basis elements whose order is divided by 2).By using the above conclusion, we can prove the following congruence:e(2) is the number of those basis elements whose order is the power of 2, h is the number of elements in |