theorem :: XPRIMES1:1982

canceled;