[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove [math]\sum_r\binom{2r}{r}\binom{2k-2r}{k-r}=4^k[/math], used in the above, at the end.