replaceを使ったplus_swapの証明まで