Carleman estimate for the Navier–Stokes equations and applications. (1st August 2022)