theorem :: XPRIMES0:1029

not 1029 is prime