Complete the following derivation:
1. (∀x)(∀y)H(x,y) Premise
2. (∃x)(∀y)G(x,y) Premise
⋮
n. (∀y)(∃x)(H(x,y)&G(x,y)) Goal
