Supongamos también que T es invariante en el entorno, es decir que si formula_9 entonces formula_10.