Theorem:
Suppose that in an open disk the following equation holds
where
are functions obtained by differentiating
with respect to
for
and with respect to
for
while
is continuous function obtained by first differentiating
with respect to
, and then with respect to
. (Note if
is continuous, then
so the order of differentiation does not matter.) Then
is sepearable.