theorem :: XPRIMES0:864

not 864 is prime