А.А. Аграчëв, У любой субримановой метрики есть точки гладкости