Oración 1: sea Ai = {j ∈ [N ] | ai(j) = 1}, note que ∀i ∈ [p] −→ →− Ai 6= ∅ (pues ai 6= 0 ) y para todo i =6 j Ai ∩ Aj = ∅ (ai ∧ aj = 0 )
Oración 2: fueron necesarias al menos p variables para realizar la sustitución
Conector: por lo tanto,
Relación: reasoning
Género: theses