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