: x(1), y(x)

と書いたとき y に 1 が入る保障はないな