Oración 1: para encontrar tal circuito, seguimos la pista de los cambios que hemos hecho
Oración 2: definimos una nueva matriz PS = (pij) tal que antes de forzar la desigualdad triangular, la entrada pij = (ij)
Conector: es decir,
Relación: entailment
Género: theses