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