y\ne{0}