theorem :: XPRIMES1:2982

canceled;