Let f be a one-to-one