>>665
> y=0のときにも成り立つので、

ダウト