Some Majorization Theory for Weighted Least Squares