Оператор 'if a mod 2 = 0' проверяет остаток от деления числа 'a' на 2.
Если остаток равен 0, число четное. В противном случае - нечетное.
Следовательно, оператор определяет, является ли число чётным.