Please help me with these questions

Establish that the following derivation claims (involving the single turn stile) are correct - that is, show that the following trees can all be closed. 2. 3x(PvFx) -- IT - P v3xFx (a) 3x(PvFx) |-- P v 3xFx (b) P v 3xFx | -- 3x(PvFx) 4. VxVy(Rxy -Ryx) |-- Vx-Rxx 6. Extyz((Rxy & Ryz) Rxz), Wxty (Rxy Ryx) |-- Vx(=y(Rxy v Ryx) + Rxx) 8. +x(Kx + (EyLxy 3zLzx)), Vx(EzLzx Lxx), 3xLxx |-- Vx(Kx Vy-Lxy) 10. -Vx(Fx Gx), Vx(HxGx), Vx(+(Hx v Gx) + 3y(Axy v Byx)), 3 xayAxy |-- 3x2yByx 12. 3x(Px & Vy((Sy & 3z(Pz & Lyz)) + Lyx)), Vx(5x+3y(Py & Lxy)) |-- 3x(Px & Vy(Sy Lyx)) 14. xay(Fx Gy) |-- 3yVx(Fx Gy) Establish that the following derivation claims (involving the single turn stile) are correct - that is, show that the following trees can all be closed. 2. 3x(PvFx) -- IT - P v3xFx (a) 3x(PvFx) |-- P v 3xFx (b) P v 3xFx | -- 3x(PvFx) 4. VxVy(Rxy -Ryx) |-- Vx-Rxx 6. Extyz((Rxy & Ryz) Rxz), Wxty (Rxy Ryx) |-- Vx(=y(Rxy v Ryx) + Rxx) 8. +x(Kx + (EyLxy 3zLzx)), Vx(EzLzx Lxx), 3xLxx |-- Vx(Kx Vy-Lxy) 10. -Vx(Fx Gx), Vx(HxGx), Vx(+(Hx v Gx) + 3y(Axy v Byx)), 3 xayAxy |-- 3x2yByx 12. 3x(Px & Vy((Sy & 3z(Pz & Lyz)) + Lyx)), Vx(5x+3y(Py & Lxy)) |-- 3x(Px & Vy(Sy Lyx)) 14. xay(Fx Gy) |-- 3yVx(Fx Gy)