for R being Skew-Field
for y being Element of R holds
( y in center R iff for s being Element of R holds y * s = s * y )