theorem Th32: :: WEDDWITT:32

for R being finite Skew-Field holds 0 < dim (VectSp_over_center R)