theorem DivEqualOne: :: NUMBER18:37

for n being natural odd Integer
for k being Nat st n divides 2 |^ k holds
n = 1