Jaki wymiar urlopu przysługuje pracownikowi zatrudnionemu na 3/4 etatu, który u poprzedniego pracodawcy wykorzystał 5 dni urlopu wypoczynkowego?

Zatrudniony pracownik wykorzystał w poprzedniej pracy do 31.03.2017 r. 5 dni urlopu (40h). Zatrudniliśmy go od 4.04.-30.06.2017 r. w wymiarze 3/4 etatu, a od 1.07-31.12.2017 r. na pełen etat. Do dnia 30.06.2017 r. pracownik wykorzystał 4 dni urlopu (tj. 24 godz.). Urlop proporcjonalny w okresie 1.04 - 30.06 wynosi 4 dni tj. 32 godz. (15 dni/12 m-cy x 3 miesiące). Po wykorzystaniu 4 dni (tj. 24 godz.) urlopu pracownikowi zostało do wykorzystania 8 godz. Wymiar urlopu w okresie od 1.07-31.12.2017 r. wynosi 10 dni. Zatem czy pracownik ma do wykorzystania jeszcze 11 dni? Czy wobec powyższego wyliczenie jest prawidłowe?