HL-дифференцируемость эквивалентна MB$^\sharp$-дифференцируемости

В 1972 г. в работе Авербуха и Смолянова анонсировано, что HL-дифференцируемость эквивалентна FB$^\sharp$-дифференцируемости. Доказательство до сих пор не опубликовано. В данной работе приводится более сильный результат, сформулированный в заголовке статьи.
Библиография: 3 названия.