The Atkinson–Stiglitz theorem is a theorem of public economics which states "that, where the utility function is separable between labor and all commodities, no indirect taxes need be employed" if non-linear income taxation can be used by the government and was developed in a seminal article by Joseph Stiglitz and Anthony Atkinson in 1976.