theorem :: XPRIMES1:980

canceled;