En este artículo es probado que el problema de valor inicial asociado con la ecuación de Korteweg-de Vries es bien formulado globalmente si el dato inicial pertenece a los espacios de Sobolev Hs (R) con s ≥ 2.