theorem :: XPRIMES0:1883

not 1883 is prime