theorem :: XPRIMES0:1216

not 1216 is prime