При г О имеем N М О, так что s О, что обеспечивает базу индукции. Заметим, что по определению локальные алгебры нетривиальны, поэтому из локальности EA ( NJ) вытекает, что Л - О. Предположим, что г О и что предложение справедливо для тех модулей, которые могут быть представлены в виде прямой суммы менее чем г слагаемых с локальными алгебрами эндоморфизмов.