仮に第9局に行っても池永対伊藤だから、これで良いんじゃないだろうか。