Получены аналоги евклидовых теорем об обратной и неявной функциях для непрерывно $hc$-дифференцируемых отображений, заданных на многообразиях Карно.