Отличия в операторах цикла с предпроверкой и постпроверкой условий ? pascal

Вцикле с предпроверкой (с предусловием, while) тело цикла выполняется, пока условие истинно. в цикле с постпроверкой (с постусловием, repeat - until) тело цикла выполняется, пока условие ложно. вопрос из серии "дай я погуглю за тебя". за минуту сам бы нашел.

Последовательность дней недели периодична с периодом 7, поэтому номер дня недели можно найти, взяв остаток от деления: (номер дня недели первого числа + сколько прошло) mod 7. такое решение будет давать верный ответ для всех дней недели кроме воскресенья: для воскресений будет выведен ноль (а не 7). решить это можно, перенумеровав все номера дней недели с нуля, а не с единицы. m - 1 – номер дня недели первого числа месяца  (считая с 0) n - 1 – пройдёт от первого числа  (m + n - 2) mod 7 – номер нужного дня недели (считая с 0) (m + n - 2) mod 7 + 1 – ответ. программа (pascalabc.net): begin   var n : = readinteger;   var m : = readinteger;   print((m + n - 2) mod 7 + 1) end. пример ввода: 7 7 пример вывода: 6 (действительно, 1 апреля 2018 года – воскресенье, а сегодня, 7 апреля – суббота)