State/Half of nonzero residues are quadratic residues 1