Revenue neutrality theorem