“…Since ker γ n,t is finite by (i), it follows that H 1 (F Σ /F n , A t ) has corank [F : Q]c(V )p n and that H 2 (F Σ /F n , A t ) is finite. In fact, H 2 (F Σ /F ∞ , A t ) must therefore vanish since by [5,Proposition 4] it is cofree over Λ. Thus H 2,n vanishes, so that H 1,n = coker γ n,t is finite as well.…”