\displaystylesum from r=0 to n of \binomnr = 2^n を証明する最も優雅な方法は何ですか?