theorem :: XPRIMES0:200

not 200 is prime