theorem :: XPRIMES0:1886

not 1886 is prime