theorem :: XPRIMES1:1996

canceled;