Oración 1: además el orden de B3 se definió para que i3 fuera monótono, y las otras dos condiciones de la definición se dan por construcción
Oración 2: queda por verificar que B3 ∈ Rell+1(d,D): Sea {x, y} una arista de B3, por definición de B3, {x, y} es una arista de B1 o de B2
Conector: por lo tanto,
Relación: reasoning
Género: theses