Верно ли, что терм 𝑓21(𝑥2,𝑓22(𝑥2,𝑥3))f12(x2,f22(x2,x3))f_1^2(x_2, f_2^2(x_2, x_3)) свободен для 𝑥4x4x_4 в формуле:
∀𝑥1(𝐴21(𝑥4,𝑥2)⊃∀𝑥4∃𝑥2𝐴11(𝑓11(𝑥2,𝑥4)))∀x1(A12(x4,x2)⊃∀x4∃x2A11(f11(x2,x4)))\forall x_1(A_1^2(x_4, x_2)\supset \forall x_4\exists x_2A_1^1(f_1^1(x_2, x_4)))