証明が正しかったときどうなるかは分からない
これまでに事例がないから。