theorem Th6: :: RFUNCT_3:6

for D being non empty set
for F being PartFunc of D,REAL
for r, s being Real st r <> 0 holds
F " {(s / r)} = (r (#) F) " {s}