ここで念のために，“記号列の直接代入”の定義を示しておく。
即ち，記号列φ，ψ，ξi，αi（i＝1,････,n）──ξi は互いに異なる──に対し，
《直接代入｛ξ1→α1,････,ξn→αn｝によって，φからψが導かれる》
とは，つぎの条件を満たす記号列
| ηj，βj | （j＝1,････,p）
| | Ｕj | （j＝1,････,p+1）
|
がとれることである：
- φ＝Ｕ1η1Ｕ2η2････Ｕpηpp+1
ψ＝Ｕ1β1Ｕ2β2････ＵpβpＵp+1
- ηj 全体は，ξi 全体と一致する。
- 各Ｕj にξi（i＝1,････,n）は現われない
- ηj＝ξi ならばβj＝αi
|