which part is wrong? > For any practical application, numerical solvers for Navier-Stokes already exist and do a good job. or > This proof is just checking

which part is wrong? > For any practical application, numerical solvers for Navier-Stokes already exist and do a good job. or > This proof is just checking the boxes for mathematicians.