theorem :: XPRIMES0:1508

not 1508 is prime