Carleman estimate for the Navier–Stokes equations and an application to a lateral Cauchy problem. (5th January 2016)