theorem :: XPRIMES1:5330

canceled;