lemma
Теперь мы пока́жем, как э́та ле́мма мо́жет быть применена для доказа́тельства основной теоре́мы.
Now, we show how this lemma can be used to prove our main theorem.
Ле́мма 5 не обобщается на случай произво́льных артиновых коле́ц.
Lemma 5 cannot be generalized to arbitrary artinian rings.
Ле́мма 5 не мо́жет быть обобщена на произво́льные артиновы кольца.
