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 (1999) showed that indirect redistribution through production distortion or consumption distortion can...