1A non-trivial quadratic residue is one that is not equivalent to 0 (mod p).