theorem :: XPRIMES0:1881

not 1881 is prime