A combinatorial proof of the reduction formula for Littlewood–Richardson coefficients

There are well-known reduction formulas for the universal Schubert coefficients defined on Grassmannians. These coefficients are also known as the Littlewood–Richardson coefficients in the theory of symmetric functions. We restate the reduction formulas combinatorially and provide a combinatorial proof for them.