Recently, several papers have re-examined the so called production efficiency theorem and the Atkinson and Stiglitz theorem on commodity taxes in the optimal taxation literature. Naito [12] showed that indirect redistribution through production distortion or consumption distortion can...