Oración 1: supongamos que θ(x, y) = 0, entonces x, y ∈ B1 o x, y ∈ B2
Oración 2: si x ∈ B1\A y y ∈ B2\A entonces cualquier camino de x a y debe pasar por un elemento de a, en cuyo θ(x, y) ≥ 0
Conector: en efecto,
Relación: entailment
Género: theses