Cuando formula_21 es mucho mayor que 1 para la mayoría de las listas electas, entonces se garantiza la proporcionalidad.