non-linear tax

The Atkinson-Stiglitz theorem states that if non-linear taxes on earnings are available as policy tool, differential taxation of first- and second period consumption is not optimal if all consumers have preferences weakly separable between consumption and labor.