theorem Th6: :: MODCAT_1:6

for UN being Universe
for R being Ring holds TrivialLMod R in LModObjects (UN,R)