binaire 0

Beschouw de verzameling van alle positieve getallen die in binaire schrijfwijze exact $2013$ cijfers heeft en meer nullen dan enen in die schrijfwijze.
Zij $n$ het aantal cijfers en $s$ hun som.
Bewijs dat wanneer we $n+s$ binair schrijven , het meer nullen dan enen bevat.