theorem :: XPRIMES1:2974

canceled;