 "Proof" - Godunov (1959)

Assume a numerical scheme of the form described by equation (2) and choose

The exact solution is

If we assume the scheme to be at least second-order accurate, it should produce the following solution exactly

Substituting into equation (2) gives