theorem Th5: :: MOD_4:5

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