theorem Th32: :: WEDDWITT:32
for R being finite Skew-Field holds 0 < dim (VectSp_over_center R)