Atkinson Stiglitz Theorem