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