“…Assume now that (i) holds. Notice that As 𝑇 0 ∈ 𝐸 (E) 𝑠 ⊆ 𝛿(E) = Γ ⊆ Δ by [10,Lemma 7.22], it follows that 𝐺 := 𝑁 L (𝑇 0 ) is a group with 𝑁 := 𝑁 N (𝑇 0 ) 𝐺. Indeed, since (N , Γ, 𝑇) is a regular locality, N is of characteristic p. Hence, by Lemma 4.3, G is of characteristic p if and only if 𝑁 𝐺 (𝑇) is of characteristic p. By [18,Lemma 11.12], every automorphism of N leaves 𝐸 (N ) invariant, so 𝑁 L (𝑇) acts by Lemma 5.2(b) on 𝐸 (N ) via conjugation.…”