Prueba: Sean y inyecciones, se define una nueva inyección como si está en y si está en pero no en .