theorem :: XPRIMES2:3981

canceled;