<Moderator's note: Moved from a technical forum and thus no template.>
for every natural n there exists natural k.
and numbers={a0,a1,a2,...ak}∈{0,1}.
so that n=i=0n∑ ai2i
I will assume n=k, i know that if n is even then a0 =0.
so if i assume it is true for n that is Even:
n+1=i=0n+1∑ ai2i...