2. (5+5 points) Let ICS(P) and let 4,0,0 e S(P). (a) Given T F (= ), construct the proof (derivation of the formal theorem TF @[2/2] = 0[4/x]), (i.e. TF ([2:=] = 0[x :=4].) (b) Give a derivation (Hilbert style proof) of the following formal theorem 434,4 = 0 + 0 = 0 (that is, 6 + 4,4 0F 4H). 2. (5+5 points) Let ICS(P) and let 4,0,0 e S(P). (a) Given T F (= ), construct the proof (derivation of the formal theorem TF @[2/2] = 0[4/x]), (i.e. TF ([2:=] = 0[x :=4].) (b) Give a derivation (Hilbert style proof) of the following formal theorem 434,4 = 0 + 0 = 0 (that is, 6 + 4,4 0F 4H)