A combinatorial proof of the Lebesgue identity

We present a combinatorial proof of the Lebesgue identity based on the insertion algorithm of Zeilberger.