ПОИСК Статьи Чертежи Таблицы Касательные плоскости к обоим графикам в точке диагонали совпадают (согласно лемме). Следовательно пересечения этих касательных плоскостей с касательной плоскостью произведения первого сомножителя и этой точки (в рассматриваемой точке диагонали) совпадают. Но эти два пересечения определяют естественные контактные структуры на первом сомножителе, рассматриваемом как РТ (Р”) для первого пересечения и как РТ (Р” ) для второго. Совпадение пересечений доказывает теорему. [Выходные данные]