theorem Th12: :: RFUNCT_4:12

for r being Real
for f being PartFunc of REAL,REAL
for X being set st 0 < r holds
( f is_strictly_convex_on X iff r (#) f is_strictly_convex_on X )