Jak ustalić wymiar urlopu proporcjonalnego, jeżeli pracownik wykorzystał urlop wypoczynkowy w wyższym wymiarze

Zatrudniliśmy pracownika od 1 sierpnia 2018 r. U poprzedniego pracodawcy wykorzystał on 23 dni urlopu wypoczynkowego z przysługującego mu wymiaru 26 dni. U nas rozwiązanie umowy nastąpiło 31 października 2018 r. Ile urlopu wypoczynkowego przysługuje pracownikowi za przepracowane w naszej firmie 3 miesiące?