1: $  by \cref{lem:TateConvergence}. 

2: 

3: We may further assume that $