theorem :: XPRIMES1:1971

canceled;