theorem :: XPRIMES1:1990

canceled;