Among all GLS estimators, Why is the GLS estimator with the true $\sum$ achieves the smallest variance?