Верно ли, что терм 𝑓21(𝑎1,𝑓11(𝑎2))f12(a1,f11(a2))f_1^2(a_1, f_1^1(a_2)) свободен для любой переменной в любой формуле?