the well-known Atkinson and Stiglitz (1976, section 5) theorem on the superiority of nonlinear direct taxation over nonlinear indirect taxation is proved to hold under the second order approach, even on intervals where the monotonicity constraint is binding. this confirms for the nonlinear case...