for K being Ring holds opp K is strict Ring ;