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