>>827
使ってなければ後ろに持っていけるは定理として簡単に証明できるだろ