theorem :: XPRIMES0:1484

not 1484 is prime