となるなら"y(x) ≠ c(x)" であり、"y(x)" には誤りが存在することになる。