theorem :: XPRIMES0:202

not 202 is prime