A first integral of Navier–Stokes equations and its applications