8. (5 points) Through the transitivity of equivalence, show that the left hand side is logically equivalent to the right hand side, showing each step (1/2 pt. each) and stating the corresponding logical law (1/2 pt. each).
∀xy(-F(x, y) VG(x, y)) = ∀x(dyF(x, y) → ∃yG(x, y))