Python Generalized Least Squares Proof