theorem :: XPRIMES0:876

not 876 is prime