「(reverse (reverse x))がどんなリストについてもxになるか」…（略）…読者への宿題にしておきます。 付録Cやってるあいだに証明も忘れかけてる気がするのでちょうどいいおさらい 最初は、これを証明すればいいかな、と思ったんですけどね