Oración 1: por lo tanto, fueron necesarias al menos p variables para realizar la sustitución
Oración 2: si el número de variables utilizadas fuera mayor que p, entonces al tomar S el conjunto del anterior Afirmación sabŕıamos que D tiene más de p átomos
Conector: por otro lado,
Relación: contrasting
Género: theses