theorem Th12: :: MESFUN11:12

for X being non empty set
for r being Real
for f being V121() Function of X,ExtREAL st r <= 0 holds
r (#) f is V120()