О представимости многообразий Кантора

$SC$-теорией многообразия $V$ называется совокупность всех строгих условий Мальцева, выполнимых в $V$. Доказываетя, что $SC$-теория многообразия Кантора $C_2$, определимого в сигнатуре $\{n,l,r\}$ тремя тождествами
$$ ln(x,y)=x,\quad rn(x,y)=y,\quad n(lx,rx)=x, $$
имеет базис (т.е. независимое множество порождающих) любой конечной длины.