theorem :: NEWTON:4

for z being Complex holds z |^ 0 = 1 by RVSUM_1:94;