The Bender -- Knuth -- Involutions were used to give a short proof of Littlewood -- Richardson -- rule .
Richardson -- Knuth involutions were used by to give a short proof of the Littlewood -- Bender rule .