theorem :: XPRIMES1:1198

canceled;