theorem :: XPRIMES1:4962

canceled;