Oración 1: este etiquetamiento es de hecho un etiquetamiento de Sperner, ya que para vi = 0, ciertamente tenemos f (v)i −vi ≥ 0
Oración 2: según el lema de Sperner, existe un símplex σk completamente etiquetado
Conector: por lo tanto,
Relación: reasoning
Género: theses