>>497 つづき
（ガロア原論文を読む参考に）

梶原訳のSubstitution（代入）で

http://dictionary.goo.ne.jp/ej/82686/meaning/m0u/
substitutionの意味 - goo辞書 英和和英:
1 代理，代用；取り替え，交換
　・
　・
5 〔数学〕 〔論理〕 置換，代入.
（引用おわり）

とあるので、梶原訳 Substitution（代入）が正しいのかどうか、大いに疑問だろう