Неделя сокращенная. А премия?

В одном из подразделений нашего предприятия работает инвалид 2-й группы с сокращенной рабочей неделей (35 часов). При этом оклад данный работник получает полный, как при 40-часовой рабочей неделе.

По Положению о премировании, принятом на предприятии, премиальный фонд распределяется пропорционально отработанному времени независимо от оклада. Правомерно ли этому сотруднику начислять премию за фактически отработанное время по табелю, т.е. за 35 часов?