theorem Th19: :: MESFUN11:19

for X being non empty set
for r being negative Real
for f being Function of X,ExtREAL holds
( f is V120() iff r (#) f is V121() )