Переписываю секцию, заменяя пару кокогерентных коассоциативных коалгебр над полем на одно полное локальное нетерово коммутативное кольцо.
