Пример изометрии, не являющейся изгибанием даже локально

[Narn]

Добрый день,

в учебнике Постникова "Лекции по геометрии, семестр 3" написано:

Цитата:

...обычно изгибания понимают как изометрии, которые можно связать
с тождественным преобразованием непрерывным семейством изометрий.
Долгое время все математики были уверены, что в локальной ситуации,
т.е. в достаточно малой окрестности произвольной точки, любая
изометрия является изгибанием в этом смысле. Однако сравнительно
недавно Н.В. Ефимов показал, что это неверно,
построив соответствующий контрпример.

Кто-нибудь знает точную ссылку на этот контрпример? Идеально было бы на английском, не обязательно на оригинальную работу.

[svv]

Оно?

Цитата:

Теорема 1. Существуют изометричные поверхности $S$ и $S'$ с соответствующими точками $M_0$ и $M'_0$, обладающие следующим свойством: никакая окрестность точки $M_0$ на поверхности $S$ не может быть преобразована при помощи равномерно-гладкого изгибания ни в окрестность точки $M'_0$ поверхности $S'$, ни в её зеркальный образ.

Н. В. Ефимов. Исследование деформаций поверхности, содержащей точку с нулевым значением гауссовой кривизны. Матем. сб., 23(65):1 (1948), стр. 89–125.
Конкретно эта теорема формулируется на стр. 92, доказательство на стр. 103.
Как и другие работы Ефимова, есть здесь.
Примерно то же есть и в других его работах, например,
Качественные вопросы теории деформаций поверхностей «в малом» (1949).

[Narn]

Спасибо! Да, похоже, это оно.