theorem Th26: :: NUMBER17:26

for n being non zero Integer ex k being Nat ex j being odd Integer st n = j * (2 |^ k)