theorem :: XPRIMES1:1978

canceled;