Engineers in fields like aircraft design use a simplified version of the Navier-Stokes equation, not the full proof