>>927
yの存在を仮定していないとは言っていないと思いますが。