将下列命题符号化,并构造推理证明

以下以A代表全称量词.
设F(x):x是猫,G(x):x爱吃鱼,a:咪咪.
前提：Ax(F(x)→G(x)),F(a)
结论：G(a)
证明：
1 Ax(F(x)→G(x)) 前提引入
2 F(a)→G(a) 1UI
3 F(a) 前提引入
4 G(a) 23假言三段论