Remark 5.3 Paired with classical short-term existence and smoothness results for the incompressible Euler equations [1]}, the previous proposition provides in particular a general (short-time) convergence result for the SV scheme for smooth initial data.

