If M is finitely generated and M'' is finitely presented (which is stronger than finitely generated; see below), then M′ is finitely generated.
Если M конечно порождён и M'' конечно представлен (это более сильное условие, чем конечнопорождённость, см. ниже), то M′ конечно порождён.