Tate's conjecture implies a weak version of Safarevic's' conjecture.
Falting's proof of Tate's conjecture follows the strategy of Tate's
proof in the finite field case