If κ is a measurable cardinal, let us say that a measure on κ is a κ-complete nonprincipal ultrafilter on κ. If U is a measure on κ, let jU be the canonical elementary embedding of V into its Ultrapower UltU(V). If x is a set, say that U moves x when jU(x) ≠ x; say that κ moves x when some measure on κ moves x. Recall Kunen's lemma (see [K]): “Every ordinal is moved only by finitely many measurable cardinals.” Kunen's proof (see [K]) and Fleissner's proof (see [KM, III, §10]) are essentially nonconstructive.

The following proposition can be proved by using elementary facts about iterated ultrapowers.

Proposition. Let ‹Un: n ∈ ω› be a sequence of measures on a strictly increasing sequence ‹κn: n ∈ ω› of measurable cardinals. Let U = ‹ Wα: α < ω2›, where Wωm + n = Um (m, n ∈ ω). Then, for each θ in UltU(V), if E is the (minimal) support of θ in UltU(V), then, for all m ∈ ω, Um moves θ iff E ∩ [ωm, ω(m + 1)) ≠ ∅.