theorem Th50: :: POWER:50

for a, c, d being Real st a > 0 & a <> 1 & c <> d holds
a to_power c <> a to_power d