theorem :: XPRIMES0:865

not 865 is prime