theorem :: XPRIMES0:1230

not 1230 is prime