theorem :: XPRIMES0:500

not 500 is prime