theorem :: XPRIMES0:217

not 217 is prime