Oración 1: sabemos por proposición 1.28, que l(σw0) = l(w0)− l(σ)
Oración 2: se concluye lo siguiente: l(uw0)− l(vw0) = l(w0)− l(u)− (l(w0)− l(v)) = l(v)− l(u) Por otra parte, consideremos una cadena maximal C : u = x0 ⋖− ·· ·⋖− xk = v
Conector: por tanto
Relación: reasoning
Género: theses