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