to prove that something goes both ways: given A\Rightarrow B, and A \Leftarrow B, A \Leftrightarrow B.