“…Suppose dim t D > n − 1. Then, from Proposition 2, it follows that dim t D = n. From the equation (2) in the proof of Proposition 2 above, we see that, after fixing a basis (e 1,i 0 , e 2,i 0 ), dim t D is equal to the dimension of the subspace of (Q p ) n consisting of n-tuples (b 1 , ..., b n ) such that if we substitute them in the RHS of (2), we get a matrix with entries in H 1 (H, Q p ). Hence, the equality dim t D = n implies that the matrix…”