theorem :: MOD_4:4

for K being Ring holds opp K is strict Ring ;