(これはぜひ説明する。)
前回の例 (, , ) で
が つの変数 と の関数である、 つまり であることを見て取るのが第1ステップである。 すると、
もし が 3 変数 , , の関数、つまり であれば、
が , , の関数、つまり であれば、