Complete the following derivation:
1. (∃x)(∀z)(R(z,a,x)&P(a,x,z)) Premise
2. (∀x)(R(b,a,x)→T(x)) Premise
⋮
n. (∃x)T(x) Goal
