theorem Th49: :: PREPOWER:49

for a being Real
for n being Nat st 0 <= a holds
a #Q n = a |^ n