>>808
私の証明が正しかった場合にはどうするのでしょうか