theorem :: XPRIMES2:3948

canceled;