relabelの証明の途中