Weighted Least Squares Gauss-Markov Theorem