theorem Th3: :: RFUNCT_1:3

for C being non empty set
for c being Element of C
for f being complex-valued Function st c in dom (f ^) holds
f . c <> 0