theorem :: XPRIMES0:213

not 213 is prime