theorem Th20: :: WEDDWITT:20

for R being finite Skew-Field holds 1 < card the carrier of (center R)