っていう話はここまで変形しないと言えないもの？ (if (atom x) 't (if (atom (car x)) 't (< (size (cons (car (car x)) (cons (cdr (car x)) (cdr x)))) (size (cons (cons (car (car x)) (cdr (car x))) (cdr x)))))) 反例なら上に上げた主張の時点でもう…