O Teorema de Coase afirma que

um tributo aplicado a uma atividade de mercado que esteja gerando externalidades negativas, corrige a falha de mercado.

na ausência de custos de transação, a livre negociação levará a um nível eficiente de produção de externalidades, independente da distribuição dos direitos de propriedade.

a quantidade ótima de externalidade pode ser menor caso a parte afetada pela externalidade possa negociar o volume emitido da externalidade.

o nível de externalidade transacionado entre dois agentes, no contexto da Caixa de Edgeworth, é único.

o custo de exclusão de acesso ao bem que gera externalidade é suficientemente alto.