theorem :: XPRIMES0:1042

not 1042 is prime