theorem :: XPRIMES0:279

not 279 is prime