theorem :: XPRIMES0:1035

not 1035 is prime