Some Propositional Logic Tasks

It's from Kleene [1967]. So, the question for h and h1 is - does "P1" and "P2" imply "C"?

V - square root; ^ - degree; v - or; & - and; ⊃ - material implication; ≡ - material equivalence.

(h)

P1) [x+3 = V3-x] ⊃ [x^2+6x+9 = 3-x]
P2) [x^2+6x+9 = 3-x] ≡ [(x+6)(x+1) = 0] ≡ [x = -6] v [x = -1]
C)   [x+3 = V3-x] ⊃ [x = -6] v [x = -1]

(h1)

P1) [x+3 = V3-x] ⊃ [x^2+6x+9 = 3-x]

P2) [x^2+6x+9 = 3-x] ≡ [(x+6)(x+1) = 0] ≡ [x = -6] v [x = -1]

C)  {[x = -6] ⊃ [x+3 = V3-x]} & {[x = -1] ⊃ [x+3 = V3-x]}