ここでは何をやってるって言ったらいいのかな 再帰する関数の全域性が証明できるようになったので 再帰する関数を使った定理を証明する（ための準備）、でいいのかな 0要素のリスト、1要素のリスト、2要素のリストについて 定理を証明していきます 証明にも…