
theorem
  for X be Complex_Banach_Algebra, z be Element of X holds z #N 0 = 1.X
  by Def4;
