2016/8/29 8:48

@raurublock ですよね。前からどうにの気になってるんですが、ちゃんと証明するのは難しそう。