Тождества обобщенно-достижимых колец

Доказывается, что свободное обобщенно-достижимое кольцо с двумя образующими достижимо и что в свободном обобщенно-достижимом кольце с тремя образующими выполняется тождество
$$ ([x,y]\circ[z,t],u,v)=0 $$
Отсюда вытекает, что в многообразии обобщенно-достижимых колец подмногообразия, порожденные свободными кольцами с $1$, $2$, $3$ и $4$ образующими, попарно-различны.