theorem :: XPRIMES2:1198

canceled;