A Theorem on the Optimal Margin Mix