theorem :: XPRIMES0:1500

not 1500 is prime