Demostración: Paso I {(Hay un votante decisivo)} Para cada par de alternativas formula_36, formula_37 existe al menos un conjunto no vacío decisivo, el conjunto de todos los votantes.