q e d iff 証明終了