Hola,
no és exactament així. Efectivament el repartiment és proporcional i després d'assignar els escons sencers queda el problema d'assignar els escons sobrers, però la regla no és mecànicament assignar-los als primers.
Al teu exemple, si posem per cas els vots dels quatre partits són
15300, 12400, 3700, 2800 (que sumen 34200)
repartint a 1000 vots per escó es reparteixen 32 i en manquen 2 per repartir. Aleshores el que es fa és baixar el preu dels escons; a 950 vots per escó es reparteixen 16, 13, 3, 2 com dius.
Però amb un repartiment de vots lleugerament diferent,
15300, 12200, 3900, 2800
a 950 vots per escó es reparteixen 16, 12, 4, 2.
Així la regla no és assignar-los als que en tenen més sinó baixar-ne el preu; el que sí passa és que l'algorisme té tendència a assignar-los als que en tenen més.
Un cas més simple: 1000 vots per a repartir-se dos escons, en principi a 500 vots per escó. El partit A en treu 700 i B en treu 300; baixant el preu a 350 se'ls emporta tots dos A. Si el partit A en treu 600 i B en treu 400, baixant el preu a 400 se'ls reparteixen.
