>>25の(2)はすべてのyで成り立つ条件を求めるの?