Um ciclista faz um percurso em 4 horas a uma velocidade constante de 9Km por hora. Se o ciclista dobrar sua velocidade, qual será o tempo necessário para percorrer o mesmo trajeto?