theorem :: XPRIMES2:4964

canceled;