  In this paper, we introduce an algebro-geometric formulation for Faltings'
theorem on diophantine approximation on abelian varieties using an improvement
of Faltings-Wustholz observation over number fields. In fact, we prove that,
for any geometrically irreducible sub-variety E of an abelian variety A and any
finitely generated subgroup F of A(C) we have an estimate of the form d_v(E;x)
>cH(x)^d for for some constant c where d_v(E;x) denotes the distance of a point
x in F outside E and v is a place of K. This was proved before, only for F
being the set of rational points of A over a number field.
