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

Are these two sentences paraphrases of each other?
yes