theorem Th23: :: NAT_6:23

2 is_quadratic_non_residue_mod 3