Полиномиальная субриманова дифференцируемость на пространствах Карно–Каратеодори

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