theorem :: XPRIMES1:1991

canceled;