Analytic Loss Minimization: A Proof