 But as we noted at the beginning, there are at least distinct quadratic residues (mod ) (besides 0).Therefore, they are precisely the residue classes that make the first factor zero.The other residue classes, the nonresidues, must make the second factor zero, or they would not satisfy Fermat's little theorem.