theorem :: PREPOWER:72

for a being Real st a > 0 holds
a #R 1 = a