theorem :: XPRIMES0:847

not 847 is prime