説明じゃなくて証明の話してたと思うんだが