theorem :: XPRIMES0:248

not 248 is prime