theorem :: XPRIMES0:824

not 824 is prime