The a b c theorem for abelian varieties