y = F(x) - k = 0