theorem :: XPRIMES2:824

canceled;