2016-11-12 綺麗だ… 議論を進めて,定理がきれいになりました。場合分けがシンプルになったので、 「ああ,これは綺麗だー」ってしみじみと眺めてしまいます。 4つに分けた場合分けの2つ目が80%まで片付きました。 最後の5分の1は…またにしますかね。