>Она сразу следует из существования связности Эресманна,
>то есть из интегрирования векторных полей до потоков.
>Плоская связность Эресманна для этого не нужна.

Но ни в лекции ни в листке этого нет? В лекции десять на 6ой странице (или задача 10.4) ты доказываешь диффеоморфность слоёв.