Jaki wymiar urlopu dla pracownika zatrudnionego w trakcie roku

Pracownik został zatrudniony 15.11.2023 r., przedstawił świadectwa pracy za okres do 30.09.2023 r., z których wynikało, iż wykorzystał 20 dni urlopu wypoczynkowego u poprzednich pracodawców. W naszej firmie od 15.11.2023 r. zostało mu przyznane 4 dni urlopu. System wylicza to w następujący sposób: 20 dni wykorzystane u poprzednich pracodawców, 2 dni "przysługiwało" za październik, a więc w obecnej firmie pozostało 4 dni, ponieważ przyznanie większego wymiaru spowodowałoby, że pracownik miałby 27 dni w roku zamiast 26 dni. Czy takie wyliczenie jest prawidłowe? Czy pracownik powinien mieć jednak przyznane za ten okres przepracowany w naszej firmie 5 dni?