theorem :: XPRIMES1:1975

canceled;