Let (A,I) be a henselian pair with A Noetherian. Let A^* be the I-adic completion of A. Assume at least one of the following conditions holds

- A → A^* is a regular ring map,
- A is a Noetherian G-ring, or
- (A,I) is the henselization (More on Algebra, Lemma 15.7.10) of a pair (B,J) where B is a Noetherian G-ring.

Given f_1, …, f_m ∈ A[x_1, ..., x_n] and a_1, …, a_n ∈ A^* such that f_j(a_1, …, a_n) = 0 for j = 1, …, m, for every N ≥ 1 there exist b_1, …, b_n ∈ A such that a_i − b_i ∈ I^N and such that f_j(b_1, …, b_n) = 0 for j = 1, …, m. See Lemma Tag 0AH5.

Slogan: Approximation for henselian pairs.