theorem :: XPRIMES1:2740

canceled;