Sea formula_12 el número de escaños que no son obtenidos por cociente: