x=y → x'=y' じゃだめなの?