The triviality of Brauer–Manin obstruction for subvarieties of semi-abelian varieties over function fields of characteristic zero

For every semi-abelian variety over a function field K of characteristic zero, we show that any subgroup of its S-integral K-valued points is discrete in the product of its local points over an infinite set of places of K, where S is a finite set of places of K.