Подалгебры свободных произведений алгебр многообразия $\mathfrak{A}_{m,n}$

Многообразие $\mathfrak{A}_{m,n}$ определяется системой $n$-арных операций $\omega_1,…,\omega_m$, системой $m$-арных операций $\varphi_1,…,\varphi_n$, $1\leqslant m\leqslant n$, системой тождеств
$$ \begin{aligned} x_1…x_n\omega_1…x_1…x_n\omega_m\varphi_i &=x_i \qquad (i=1,…,n),
x_1…x_m\varphi_1…x_1…x_m\varphi_n\omega_j &=x_j \qquad (j=1,…,m).
\end{aligned} $$
В статье доказывается, что подалгебра $U$ свободного произведения $\prod_{i\in I}^*A_i$ алгебр $A_i$ ($i\in I$) разлагается в свободное произведение непустых пересечений $U\cap A_i$ ($i\in I$) и свободной алгебры. Библ. 4 назв.