Atkinson–Stiglitz theorem

The Atkinson–Stiglitz theorem is a theorem of public economics. It implies that no indirect taxes need to be employed where the utility function is separable between labor and all commodities.