theorem :: XPRIMES0:871

not 871 is prime