> guaranteeing that a faction which got floor(1/n+1)+1 votes in a district with n seats
should be:
> guaranteeing that a faction which got floor(1/n+1)+1 votes in a district with n seats gets a seat
> guaranteeing that a faction which got floor(1/n+1)+1 votes in a district with n seats
should be:
> guaranteeing that a faction which got floor(1/n+1)+1 votes in a district with n seats gets a seat