theorem Th8: :: MOD_4:8

for K being non empty doubleLoopStr
for V being non empty ModuleStr over K holds the rmult of (opp V) = opp the lmult of V