By assumption, there exists and a homomorphism of -algebras and elements such that
|
|
|
Moreover, is bounded
|
|
|
So extends to a homomorphism of Banach -modules
|
|
|
Let be the image of , it is a Banach finite -module with the quotient norm induced by . As is Banach finite over , it is an affinoid algebra with an affinoid algebra spectral norm , which is equivalent to . Now on , is bounded with respect to by the continuity of . To show the reverse, note that is dense in , so by Theorem 2.30 one has for any
|
|
|
Therefore and are equivalent norms on , so is closed in , hence coincides with it.
∎