
theorem
  for R being Skew-Field holds 1.center R = 1.R by Def4;
