An existence and uniqueness theorem for the Navier–Stokes equations in dimension four