theorem :: XPRIMES1:4942

canceled;