theorem ThTrivial1: :: ZMODUL07:41

for R being Ring
for V being trivial LeftMod of R holds (Omega). V = (0). V