Search Q.E.D.証明終了