theorem :: XPRIMES0:841

not 841 is prime