theorem :: XPRIMES1:198

canceled;