The hardest part of the proof of the theorem was to obtain a priori estimates for the derivatives of the support function of a hypersurface up to third order inclusively.
Самая тяжелая часть доказательства теоремы была в получении априорных оценок для производных опорной функции гиперповерхности до третьего порядка включительно.