State/Half of nonzero residues are quadratic residues

 =Proof=

=Metadata=