Diamond-Mirrlees efficiency theorem