for K being Skew-Field holds
( id K is antiisomorphism iff K is Field )