theorem :: XPRIMES0:1004

not 1004 is prime