друзья,
лемма Нетер о нормализации утверждает, что любое аффинное многообразие можно отобразить на аффинное
пространство той же размерности, а нам хотелось бы, чтобы это отображение было бы еще и этальным в
заданной гладкой точке многообразия. не попадалась ли кому ссылка? (доказать нетрудно, но наверняка
ведь написано где-то. референт придирается.)