theorem :: XPRIMES1:5198

canceled;