[deredede]

We are not looking for points such that y = x but for distinct points x, x' that have the same y (f(x) = f(x'))