theorem :: XPRIMES0:1884

not 1884 is prime