The four color theorem was proven in 1976 by Kenneth Appel and Wolfgang Haken .
Kenneth Appel and Wolfgang Haken improved this sketch in 1976 ( Robertson and others 1996 ) .