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