Ah, the good old BLUE (Best linear unbiased estimator). Had this in statistics and really really liked the proof.