theorem :: XPRIMES0:1841

not 1841 is prime