  We prove some base change theorems for coherent cohomology in the setting of
Berkovich spaces. In this setting, we get a flat base change theorem, and some
proper base change theorems that are analogue to theorems from scheme theory.
