Using rules of equivalence, show that:

(a <-> b) -> (b <-> c) = ((a v b v ~c) ^ (~a v ~b v c))