theorem :: XPRIMES2:3942

canceled;