theorem Th8: :: CFDIFF_1:8
for X being set
for f being PartFunc of COMPLEX,COMPLEX st f is_differentiable_on X holds
X is Subset of COMPLEX by XBOOLE_1:1;