theorem :: XPRIMES0:1876

not 1876 is prime