A Proof for Equation 7 in Section 3.2