4To be strictly formal, we classify a Z* n according to whether or not (a mod p) QRp and whether or not (a mod q) QRq.