theorem :: XPRIMES0:1891

not 1891 is prime