Navier‑Stokes proof