Optimal Linear Commodity Taxation under Optimal Non-Linear Income Taxation · Study