theorem Th7: :: VALUED_0:7

for f being Function holds
( f is complex-valued iff for x being object holds f . x is complex )