Oración 1: por un lado, tenemos el Lema 3.1, el cual nos brinda una herramienta para saber si un sistema de circuitos es óptimo
Oración 2: necesario, ya que en el algoritmo necesitamos poder decidir si un sistema es óptimo o no para saber si parar el algoritmo o no
Conector: esto es
Relación: entailment