"The Atkinson\u2013Stiglitz 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."@en .