1 est un antécédent de 2 par la fonction f