Gauss-Markov proof part 1 (advanced)