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