
theorem Th19: :: Center1b:
  for R being Ring holds 1_R in center R
proof
  let R be Ring;
  for s being Element of R holds (1_R)*s = s*(1_R);
  hence thesis by Th17;
end;
