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
![Complete the following derivation 1 xyHxy Premise 2 xyGxy Premise n yxHxyampGxy Goal class=](https://us-static.z-dn.net/files/dc4/763c115ce4fdb4e3254ca7df18a970bc.png)