theorem :: XPRIMES0:1006

not 1006 is prime