This paper addresses a key but neglected task in the theory of international taxation, lent increased urgency by growing awareness of the potential gains from tax coordination: the characterization of Pareto-efficient international tax regimes. It shows that the Diamond-Mirrlees theorem on the...