theorem :: XPRIMES1:2889

canceled;