theorem :: XPRIMES2:6330

canceled;