theorem :: XPRIMES1:987

canceled;