Godunov's theorem