Долго ломаю голову, как доказать данную теорему. Не знаю, какой способ доказательства применить.
∀x(A(x)→∃z(C(z) ) )&∀y(C(z)→B(y))→(A(x)→B(y))