OLS估计量的性质的推导证明(一些补充)