theorem :: XPRIMES2:7964

canceled;