theorem :: XPRIMES0:1034

not 1034 is prime