theorem :: XPRIMES0:204

not 204 is prime