theorem :: XPRIMES2:2330

canceled;