theorem Th40: :: FOMODEL0:40

for X, x being set
for f being Function st f is X * -valued holds
f . x in X *