The paper provides a new formulation of the Mirrlees-Seade theo- rem on the positivity of the optimal marginal income tax, under weaker assumptions and in a more general model. The formulation of the the- orem is independent of whether the model involves finitely many types or a continuous type...