theorem :: XPRIMES0:1215

not 1215 is prime