theorem :: XPRIMES0:875

not 875 is prime