theorem POW2: :: NEWTON03:13

for a, b being Real
for n being odd Nat holds
( a |^ n = b |^ n iff a = b )