theorem :: XPRIMES0:856

not 856 is prime