theorem :: XPRIMES1:1986

canceled;