On extension theorems for holomorphic generalized functions

We present two extension theorems for holomorphic generalized functions. The first one is a version of the classic Hartogs extension theorem. In this, we start from a holomorphic generalized function on an open neighbourhood of the bounded open boundary, extending it, holomorphically, to a full open. In the second theorem a generalized version of a classic result is obtained, done independently, in 1943, by Bochner and Severi. For this theorem, we start from a function that is holomorphic generalized and has a holomorphic representative on the bounded domain boundary, we extend it holomorphically the function, for the whole domain.