Continuation of separately analytic functions defined on part of a domain boundary

Suppose that D ? ?ⁿ is a domain with smooth boundary ?D, E ? ?D is a boundary subset of positive Lebesgue measure mes(E) > 0, and F ? G is a nonpluripolar compact set in a strongly pseudoconvex domain G ? ?^m. We prove that, under some additional conditions, each function separately analytic on the set X = (D×F)∪(E× G) can be holomorphically continued into the domain _in ^* is the inner P-measure.