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.