theorem :: XPRIMES0:1001

not 1001 is prime