theorem :: XPRIMES1:982

canceled;