theorem :: XPRIMES0:826

not 826 is prime