Binary-carry characterisation of $\sum_{j=1}^N c_j2^{N-j}=0$ · Prove2Me

P

Initializing...

Binary-carry characterisation of $\sum_{j=1}^N c_j2^{N-j}=0$ · Prove2Me