for K being Field holds opp K is strict Field