theorem :: XPRIMES0:210

not 210 is prime