theorem :: INT_5:10

1 is_quadratic_residue_mod 2