https://www.glc.us.es/~jalonso/calculemus/23-nov-22/
Para todo c ∈ ℝ-{0}, la función f(x) = x * c es inyectiva