theorem Th9: :: VALUED_2:9

for c1, c2 being Complex
for g being complex-valued Function st g <> {} & g is non-empty & g (#) c1 = g (#) c2 holds
c1 = c2