theorem Th34: :: WEDDWITT:34

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