2 is_quadratic_non_residue_mod 3