theorem Th17: :: WEDDWITT:17

for R being Ring
for y being Element of R holds
( y in center R iff for s being Element of R holds y * s = s * y )