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