theorem :: XPRIMES1:1981

canceled;