Para cada variable formula_10 la fórmula formula_11 es universalmente válida.