Proof. [032M]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
This is a straighforward consequence of the analogous local result for sequences of psh functions. We refer the reader to [15], chapter 1, for a proof. Note that 1.6.2 is a special case of a celebrated lemma attributed to Hartogs. ∎