Q.E.D. iff-證明終了-_9 28話