Oración 1: entonces lmP = m+1
Oración 2: existen m + 1 funciones racionales no-constantes linealmente independientes con esta propiedad
Conector: es decir,
Relación: entailment
Género: theses