Proof (Part 1) Minimizing Squared Error to Regression Line