Wymiar urlopu wypoczynkowego pracownika zatrudnionego na następujące po sobie umowy o pracę

Pracownik jest zatrudniony na podstawie umowy o pracę na czas określony od 4 lutego 2013 r. do 3 maja 2013 r. z rocznym wymiarem urlopu wypoczynkowego w ilości 20 dni. Pracownikowi udzielono urlopu w wymiarze 7 dni (zgodnie z wyliczeniem 20 dni : 12 miesięcy x 4 miesiące pracy = 6,66 dni, tj. 7 dni). Obecnie z tym pracownikiem zawieramy kolejną umowę na czas określony od 4 maja 2013 r. do 3 lipca 2013 r., zatem zachowana jest ciągłość zatrudnienia. Uprawnienia urlopowe określono na 4 dni (20 : 12 miesięcy x 2 miesiące = 3,33 dnia, tj. 4 dni). Czy wyliczenia pracownika kadr są prawidłowe, skoro gdyby została zawarta od razu umowa od 4 lutego 2013 r. do 3 lipca 2013 r. należałoby udzielić pracownikowi urlopu zgodnie z wyliczeniem w wymiarze 10 dni (20 dni : 12 miesięcy x 6 miesięcy), i taka informacja byłaby zamieszczona na świadectwie pracy? Proszę o odpowiedź które z wyliczeń są prawidłowe.