theorem :: XPRIMES0:1037

not 1037 is prime