A Note on the Finite Variance of the Averaging Function for Polynomial System Solving