theorem :: XPRIMES1:2981

canceled;