Please type out the answers :) Please show citation and formal proof

Complete this formal proof of $)=(b.$ As always: use all conventions from FOL, BOOL and PROP.

$1.H(c)-$ Premise

$2.L(a,c)-$ Premise

$3.Ax(L(b,x)H(x))-$Premise

$4.|$

$5.|$

$6.|$

$7.|$

$8.|$

$9.$