theorem :: XPRIMES1:230

canceled;