theorem :: XPRIMES1:2890

canceled;