theorem Th36: :: PREPOWER:36

for a being Real
for n being Nat holds a #Z n = a |^ n