theorem Th71: :: PREPOWER:71

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