theorem :: XPRIMES2:3966

canceled;