A Proof for Equation (7) in Section 3.2