⁵Строгое определение гладкой деформации потребовало бы топологической терминологии.