theorem :: XPRIMES0:822

not 822 is prime