theorem :: XPRIMES0:846

not 846 is prime