theorem :: XPRIMES0:216

not 216 is prime