Oración 1: en principio, este orden lineal debe ser muy distinto al orden usual de los naturales
Oración 2: n = (N, <) es un buen orden, por lo que el único automorfismo de N es la identidad
Conector: en efecto,
Relación: entailment
Género: theses