theorem Th19: :: MOD_4:19

for K being Ring
for V being LeftMod of K holds opp V is strict RightMod of opp K