これは、ペアのペアを引数にとって、ペアの第1要素の第2要素を、ペアの第2要素に移し変える(ややこしいな)。d)))うん、ここまではOK。引数がアトムならそのまま返す。なければ、第1要素と、第2要素について再帰したものでペアを作る。e))まだ大丈夫、これもわかる。と共通するところがあって、それはどちらの関数も引数を変更して再帰するけど、その変更によってゴールに近づいている保証がないことだそう。2つ目の行に注目する。いうふうに再帰しているけど、その引数はもとの引数の一部ではなく、第7の戒律に反しているという。ペアの要素を並べ替えるだけなので、一部ではない。言い換えると新たな引数にはもとの引数と同じ数のアトムが含まれている。length_star.scm33まあ、確かめるまでもなく同じになる。わからなくなるのはここからだ。再帰する際に、ペアの第1要素はより簡単になっているけど第2要素はより複雑になっているという。よってそうなっている。間違った関数ではないでしょうか。」「もっとよい関数では、第1要素にもっと注意を払わなければいけません。」とはどういうことだろう。「少なくとも2ばいは必要です。