theorem :: XPRIMES1:2230

canceled;