theorem Cosik1: :: NUMBER18:17

for k being Nat holds #divs (2 |^ k) = k + 1