I want to prove that if ${n\choose 1}=0\mod 2, {n\choose 2}=0\mod 2,...,{n \choose n-1}=0\mod 2$ then $n=2^r$. The first condition already gives us that $n=2^rm$ for some $m\in \mathbb{N}$. So these conditions can be summarized in the condition that $${2^rm\choose 2^{r-1}m+k}=0\mod 2$$ for $k=0,...,2^{r-1}m-1$. Then I came across Lucas' theorem which says that if $a=a_kp^k+a_{k-1}p^{k-1}+...+a_0$ and $b=b_kp^k+b_{k-1}p^{k-1}+...+b_0$ are base $p$ expansions of $a$ and $b$ (the $a_i$ and $b_i$ are not divisible by $p$) then $${a\choose b}=\prod_{i=0}^k{a_i\choose b_i}\mod p$$ with the convention that ${x\choose y}=0$ if $x<y$. This means that ${a\choose b}=0\mod p$ if and only if one of the base $p$ digits of $b$ is bigger than that of $a$.
To apply this in our case: ${2^rm\choose 2^{r-1}m+k}=0\mod 2$ if and only if one of the base 2 digits of $2^{r-1}m+k$ is bigger than that of $2^rm$. But this is always the case since we have always the coefficient $m$ before $2^{r-1}$ which we dont have in $2^rm$.
So I am confused because then this result should be true for all $m\in \mathbb{N}$, but it should not be. I hope you can clarify this.