theorem :: XPRIMES0:1882

not 1882 is prime