theorem Th67: :: NUMBER08:67

for m, n being Nat st n <> 0 & (2 |^ m) - (3 |^ n) = 1 holds
( m = 2 & n = 1 )