theorem ThTriv1: :: LMODFREE:34

for R being non degenerated Ring holds FS_Funcs ({},R) = TrivialLMod R