El error consiste en usar una función "f" que no es biyectiva, para observar que "f(x)" = "f(y)" para ciertas "x" e "y", concluyendo (erróneamente) que por tanto "x" = "y".