Oración 1: a continuación, se muestra un ejemplo de este resultado, considere el grafo KG6,2, acá se tiene n = 6 y k = 2
Oración 2: comprobamos esto mostrando x,−x ∉ Si para cada i ∈ [n]
Relación: neutral
Género: theses