for K being Skew-Field holds opp K is Skew-Field