>>413
だから、最後は正しいと考えられる証明が得られたと言っている。

>>414
見てもらえれば、満点になると思います。