theorem Th72: :: NUMBER08:72

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