Fuente TeX:
Si \ f(x)=f(y) \implies x=y