Разрешимое устранение ветвления в расширениях дискретно нормированный полей

Доказывается аналог леммы Ш. Абьянкара для произвольного конечного сепарабельного расширения дискретно нормированных полей с функциональным полем вычетов.