theorem :: XPRIMES2:5330

canceled;