Jak wyliczyć dodatkowe wynagrodzenie roczne dla pracownika, który przepracował 7 miesięcy?

Art. 2 ust. 2 ustawy z 12.12.1997 r. o dodatkowym wynagrodzeniu rocznym dla pracowników jednostek sfery budżetowej mówi: Pracownik, który nie przepracował u danego pracodawcy całego roku kalendarzowego, nabywa prawo do wynagrodzenia rocznego w wysokości proporcjonalnej do okresu przepracowanego, pod warunkiem, że okres ten wynosi co najmniej 6 miesięcy. W związku z tym zapisem mam wątpliwość. Pracownik pracował od 1 maja 2018 roku do 31 grudnia 2018 roku. W tym okresie zarabiał 2 500 zł miesięcznie co daje 17 500 zł w trakcie trwanie umowy (nie przebywał na zwolnieniach ani urlopach okolicznościowych).

W jakiej wysokości pracownik nabywa prawo do "trzynastki"? Czy to jest 100%? Czy należy wyliczyć proporcjonalnie 58,33% (czyli za 7 miesięcy od maja do grudnia)? Które obliczenie "trzynastki" jest prawidłowe: 17 500 x 100% x 8,5% = 1487,50 złotych brutto czy 17 500 x 58,33% x 8,5% = 867,66 złotych brutto?