Sentence 1: The Bender -- Knuth -- Involutions were used to give a short proof of Littlewood -- Richardson -- rule .
Sentence 2: Richardson -- Knuth involutions were used by to give a short proof of the Littlewood -- Bender rule .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?