Diamond Mirrlees Production Efficiency Theorem