Q.E.D. iff-证明终了-：第8话-[95P]