Entonces, cada vez que "formula_6" y "formula_7" aparecen por sí mismas como líneas de una prueba, "formula_12" se puede colocar válidamente en una línea posterior.