Explosão de diferenciabilidade em conjugações unidimensionais

Demonstramos que, sob certas condições dos sistemas dinâmicos conjugados, uma conjugação topológica entre dinâmicas do intervalo que seja $C^1$ em algum ponto e necessariamente um difeomorfismo em algum intervalo.