Jak wyliczyć premię roczną pracownika za 2023 r. po zmianie etatu

Pracownik oprócz miesięcznego wynagrodzenia ma prawo do premii rocznej wypłacanej do końca roku kalendarzowego (grudzień 2023 r.). Dnia 1 października 2023 r. nastąpiła zmiana etatu z pełnego na 3/4. Pracownik stał się niezdolny do pracy w kwietniu 2024 r. Jak wyliczyć premię roczną za 2023 r.?