finished the proof for the 3rd estimator