
theorem Th18: :: Center1a:
  for R being Ring holds 0.R in center R
proof
  let R be Ring;
  for s being Element of R holds 0.R*s = s*0.R;
  hence thesis by Th17;
end;
