theorem Th71: :: NUMBER08:71

for m, n being Nat st n is odd & (3 |^ n) - (2 |^ m) = 1 holds
( n = m & m = 1 )