The Gauss-Markov Theorem is a fundamental result for econometricians. The bulk of econometric theory about estimator efficiency is a generalization of this theorem.