これは以前行きづまった(if (equal x '()) 't 'nil)を(equal x '())に変形するにちょっと似てる？ 定理証明手習い (28) 補助定理 - kb84tkhrのブログ さて(if (equal a b) 't 'nil)はどうかな