theorem :: XPRIMES0:1504

not 1504 is prime