donde "formula_31" es un símbolo metalógico que representa "puede ser reemplazado en una prueba por."