theorem Th7: :: CFDIFF_1:7

for z0 being Complex
for N being Neighbourhood of z0 holds z0 in N