Должна ли быть компенсирована работа в праздничные дни?

Работа в выходной или нерабочий праздничный день оплачивается не менее чем в двойном размере:

     По желанию работника, работавшего в выходной или нерабочий праздничный день, ему может быть предоставлен другой день отдыха. В этом случае работа в выходной или нерабочий праздничный день оплачивается в одинарном размере, а день отдыха оплате не подлежит.