theorem :: XPRIMES0:1038

not 1038 is prime