theorem :: XPRIMES0:1856

not 1856 is prime