移動前のaと転送後のaは同じなのか証明できなくね