Абсолютная неприводимость и свойства гензелизаций

С использованием элементарного результата (предложение 1) об абсолютной неприводимости многочленов получены простые доказательства ряда свойств гензелизаций колец нормирований регулярно замкнутых и когерентно полных кратно нормированных полей, включая теорему Дж. Фрея о сепарабельной замкнутости гензелизаций любого кольца нормирования регулярно замкнутого поля.