theorem :: XPRIMES0:205

not 205 is prime