theorem :: XPRIMES0:1008

not 1008 is prime