Consider the following premises. w <-> w_2. w -> w_2. Can we infer w_2 <-> w from them?
 From w <-> w_2 we can infer w_2 -> w. Finally, from w_2 -> w, w -> w_2 we can infer w_2 <-> w. Therefore, the answer is yes.