completed proof for blame theorem.