Two matrix-based proofs that the linear estimator Gy is the best linear unbiased estimator - Puntanen, Simo (University of Tampere, 1998)