The fact that squaring is 4-to-1 over follows from the fact that squaring is 2-to-1 over when is prime, and that there is an isomorphism between and . The elements of the later group that square to the identity are , so there are also four elements that square to in . (This isomorphism is the Chinese Remanider Theorem.)

]]>