theorem :: CLOPBAN3:39

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