theorem :: XPRIMES0:806

not 806 is prime