theorem :: XPRIMES2:1082

canceled;