text: Для доказательства случая m ⩾ 3 {\displaystyle m\geqslant 3} используется факт, что гладкое отображение общего положения f : M → R 2 m {\displaystyle f\colon M\to \mathbb {R} ^{2m}} является погружением с конечным количеством точек трансверсального самопересечения.