Let 𝐾 be a number field with algebraic closure K¯, and let 𝑆 be a finite set of places of 𝐾 containing all the infinite ones. Let Γ₀ be a finitely generated subgroup of Gm(K¯), and let Γ⊂Gm(K¯) be ...