Navier–Stokes Counter-example and Proof