theorem Th6: :: LMODFREE:6

for R being Ring
for X being set holds FS_Funcs (X,R) is LeftMod of R