theorem :: XPRIMES0:203

not 203 is prime