x=y → x'=y' なのになぜ3の前が複数になりうるの?