theorem Th21: :: WEDDWITT:21

for R being finite Skew-Field holds
( card the carrier of (center R) = card the carrier of R iff R is commutative )