Esto es fácil considerando que formula_177 solo contiene elementos que son imágenes, y por tanto esto también es cierto para formula_121, de modo que si formula_167, formula_166, luego formula_196, con lo que la prueba termina.