theorem :: XPRIMES0:867

not 867 is prime