theorem :: XPRIMES2:3932

canceled;