1 is_quadratic_residue_mod 2