Para cualquier formula_12 se define: