Образ лагранжева ростка типа $E_6^\pm$

Доказано, что образ устойчивого ростка лагранжева отображения типа $E_6^\pm$ гомеоморфен ростку в нуле замкнутого полупространства в $\mathbb{R}^5$.