theorem :: XPRIMES2:6964

canceled;