theorem :: XPRIMES0:878

not 878 is prime