Запишем выражение в виде n*n-n
Если n - чётное, то n*n будет тоже чётным (произведение двух чётных чисел всегда чётное число), и n*n-n будет чётным (разность двух чётных всегда чётное число).
Если n - нечётное, то n*n будет тоже нечётным (произведение двух нечётных чисел всегда нечётное число), а n*n-n будет чётным (разность нечётного и чётного чисел всегда чётное чило).
Следовательно, число вида n^2-n будет чётным при любых n.