theorem :: XPRIMES2:1330

canceled;