theorem :: XPRIMES1:1992

canceled;