theorem :: XPRIMES0:1232

not 1232 is prime