Пусть

--- кольцо всех диагональных матриц (над котрым рассматривается модуль). Пусть

--- произвольный подмодуль. Тогда если

, то
Иными словами,

есть прямая сумма простых подмодулей порожденных теми базисными векторами которые попали в

. Доказательство этого факта --- простая проверка.