The Henry George Theorem is a result in modern economics, formalized by Joseph Stiglitz and others, showing that under certain conditions the optimal spending on public goods exactly equals the land rent those goods generate.
In other words, well-chosen public investment pays for itself out of the land values it creates — a rigorous restatement of the case for land value capture and for funding communities from rent.