Compensation theorem