EQD13 - Teorema da existência e unicidade e Intervalo de definição