>>105
修正するべく努力すればいいだけじゃね?
証明が不完全でも真ではありそうじゃん