theorem :: XPRIMES0:868

not 868 is prime