Q.E.D. iff-证明终了-_6 第21话(97P)