Teoremet viser, at når handel i en eksternalitet er mulig og der ikke foreligger nogen transaktionsomkostninger, vil prisforhandling føre til et Pareto-optimalt udfald, altså et effektivt udfald, uafhængigt af den oprindelige allokeringen af ejendomsretten.