theorem Th43: :: POLYDIFF:43

for n being Nat
for r being Element of F_Real holds power (r,n) = (#Z n) . r