theorem :: MOD_4:6

for K being Field holds opp K is strict Field