Search Q.E.D. iff - proven end -,Q.E.D. iff,Q.E.D.iff ―証明終了―