On the Korteweg-de Vries equation: Existence and uniqueness