Puesto que todo elemento de formula_1 tiene una imagen en formula_2, tenemos que, como caso particular,