Ile dni urlopu przysługuje za okres zatrudnienia od 15 lipca do 31 grudnia?

Od 15 lipca 2019 r. zatrudniliśmy pracownika na pełen etat. Do 31 lipca 2019 r. pracownik ten pozostawał w zatrudnieniu u poprzedniego pracodawcy korzystając z urlopu wypoczynkowego. Zatrudniony dostarczył świadectwo pracy od poprzedniego pracodawcy, w którym zapisano, że wykorzystał 13 dni urlopu wypoczynkowego za 2019 r. Pracownik posiada 8-letni staż pracy.

Czy właściwe jest ustalenie proporcjonalnego urlopu wypoczynkowego w naszej jednostce w wymiarze 7 dni (10 dni minus 3 dni za okres od 15 lipca do 31 grudnia 2019 r.)?