theorem :: XPRIMES1:330

canceled;