theorem :: XPRIMES1:1980

canceled;