Jak wyliczyć urlop pracownika po zmianie pracodawcy w pierwszym roku pracy

Proszę o opinię w sprawie wyliczenia urlopu dla pracownika w jego pierwszym roku pracy zawodowej (rok 2025). Pracownik był zatrudniony u poprzedniego pracodawcy od 02.05.2025 do 30.09.2025. Ze świadectwa pracy wynika, że wykorzystał tam 9 dni urlopu, choć z moich wyliczeń (4 miesiące stażu × 1,66) nabył prawo jedynie do 7 dni (po zaokrągleniu). W naszej jednostce pracownik jest zatrudniony od 01.10.2025 r. i do końca roku 2025 nabył prawo do kolejnych 5 dni urlopu (3 miesiące × 1,66). Czy w związku z tym, że poprzedni pracodawca udzielił urlopu „nadmiarowo”, powinnam pomniejszyć wymiar urlopu przysługujący u nas o te 2 dni? Czy w pierwszym roku pracy dopuszczalne jest takie potrącenie, czy też u nas pracownik nabywa urlop niezależnie od tego, co wykorzystał u poprzednika?