for F being commutative Skew-Field
for G being finite Subgroup of MultGroup F holds G is cyclic Group