theorem :: XPRIMES0:1202

not 1202 is prime