Statistics theorem that ordinary least squares is the best linear unbiased estimator under certain conditions