theorem Th20: :: MOD_4:20

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