theorem :: XPRIMES2:3982

canceled;