O Problema de Cauchy para a Equação de Korteweg-de-Vries