theorem :: XPRIMES1:4940

canceled;