1话 - Q.E.D. iff-证明终了-