  Let A be a geometrically simple abelian variety over a number field k, let X
be a subgroup of A(k) and let P be an element of A(k). We prove that if P
belongs to X modulo almost all primes of k then P already belongs to X.
