theorem :: XPRIMES0:848

not 848 is prime