theorem :: XPRIMES1:1995

canceled;