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