We generalize the Diamond-Mirrlees production efficiency theorem, that there should be no taxes on sectors producing pure intermediate goods, to an environment with political economy constraints. In our economy, allocations and taxation are decided by self-interested politicians without the...