This is a proof of the combinatorial identity:

  / 2n \         / n \
         {      }  =  2 {     }  + n^2
  \  2 /         \ 2 /