theorem :: XPRIMES0:278

not 278 is prime