Oración 1: sea F una cara "lateral"del cubo Sn
Oración 2: existe algún k, 1 ≤( k ≤ n, tal que p)ara todo x en F, xk es constante e igual a +1 o −1
Conector: es decir,
Relación: entailment
Género: theses