すまん、もう一度やったら9997になった。
しかし、証明が間違ってることは事実なんだね……
今会社なんであれだが、あとで証明UPしてもいい……あとと言っても、最悪土日だが……