Обсуждение:Конечно порождённое расширение