theorem Th34: :: POWER:34

for a, b being Real st a > 0 holds
a to_power b > 0