theorem :: XPRIMES0:1233

not 1233 is prime