theorem :: XPRIMES0:215

not 215 is prime