Added linearised flow convergence proof.