theorem :: XPRIMES0:1235

not 1235 is prime