theorem :: XPRIMES0:1203

not 1203 is prime