theorem Th8: :: SIN_COS:8

for w, z being Complex
for n being Nat holds ((z + w) |^ n) / (n !) = (Partial_Sums (Expan_e (n,z,w))) . n