theorem :: XPRIMES0:828

not 828 is prime