theorem :: XPRIMES1:1972

canceled;