Si formula_17 pasa a tener la forma especial formula_18, entonces se puede afirmar razonablemente que el estado del primer subsistema es formula_19.