On a transformation of the ∗-congruence Sylvester equation for the least squares optimization. (2nd September 2020)