theorem :: XPRIMES0:502

not 502 is prime