It was proved in [1]} that for any
subalgebra \(\mathbf {B}\)  of a finite power of a finite algebra \(\mathbf {A}\in {\mathcal {V}}\) ,
a compact representation (with minority forks) generates \(\mathbf {B}\) .
The next theorem
is essentially the same result, with several significant
differences, which we will discuss
in Remark  below.
