theorem :: XPRIMES1:1967

canceled;