「証明の中で行う証明」まで