Об одном свойстве пространств непрерывных функций на отрезках ординалов

В статье доказана
Теорема. Пусть $\gamma$ – произвольный ординал. Тогда $\forall\varepsilon>0$ на пространстве $C\langle1,\gamma\rangle$ существует новая, $\varepsilon$-изометричная старой, норма $\||\cdot\||$, в которой пространство $C\langle1,\gamma\rangle$ полиэдрально и $(C\langle1,\gamma\rangle,\||\cdot\||)^*=l_1\langle1,\gamma\rangle$.
Библ. 3.