今のところ正しいとされてる証明の流れってどのレスだっけ