theorem :: XPRIMES0:1822

not 1822 is prime