theorem :: XPRIMES0:872

not 872 is prime