Esta función es una inyección de en .