Q.E.D. iff-證明終了- 第18話修