theorem :: XPRIMES0:874

not 874 is prime