theorem Th30: :: CLOPBAN4:30

for X being Complex_Banach_Algebra
for w, z being Element of X
for k, n being Nat holds |.((Partial_Sums ||.(Conj (k,z,w)).||) . n).| = (Partial_Sums ||.(Conj (k,z,w)).||) . n