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