theorem :: XPRIMES1:1230

canceled;