theorem :: XPRIMES0:1003

not 1003 is prime