for R being finite Skew-Field holds 1 < card the carrier of (center R)