theorem :: WEDDWITT:38
for R being finite Skew-Field holds R is commutative