theorem :: XPRIMES0:1002

not 1002 is prime