Holomorphic extension from the sphere to the ball

AbstractReal analytic functions on the boundary of the sphere which have separate holomorphic extension along the complex lines through a boundary point have holomorphic extension to the ball. This was proved in Baracco (2009) [4] by an argument of CR geometry. We give here an elementary proof based on the expansion in holomorphic and antiholomorphic powers