“…Proof. We know that the morphism Φ |dσ(a) is flat and that G(a, x) specializes to the reduced σ-Gröbner basis of I(α, x) for every α ∈ U σ (see for instance the proof of Proposition 2.3 in [8]). By assumption, the term ordering σ is degree-compatible, hence all the fibers of Φ |dσ(a) share the same affine Hilbert function (see Chapter 5 of [7]), hence they share the same dimension.…”