Consider two hypersurfaces in Euclidean space
Em+1 and map
along normal. Proved following theorems. If hypersurface
M supposes isometric along normal, then in a vicinity of a point
p ∈
M, where Gaussian curvature distinct from zero,
M is locally 1) or hypershere, 2) hyperparaboloid.