theorem :: XPRIMES1:2260

canceled;