for r being Real
for L being LinearFunc holds r (#) L is LinearFunc