Так как для всех

представления

единственны, то омеги линейно независимы и, следовательно, порождают свободную группу

ранга

, а

- ее подгруппа, которая также является свободной ранга

. Кроме того, в

и

можно выбрать согласованные базисы, для простоты можно считать, что одним из базисов

будет

,

,

для некоторых

. Так как лямбды порождают

, то выберем среди них те, опять-таки можно считать, что это

,

,

, которые входят в разложения для

, это снова будет конечной системой порождающих для

. Осталось попробовать среди них выбрать базис.