Bewijs dat $\forall k\ge2$, $2^{3k}|{2^{k+1}\choose 2^k}-{2^k\choose2^{k-1}}$ maar $2^{3k+1}$ deelt die uitdrukking niet.