theorem :: XPRIMES0:879

not 879 is prime