Я думаю, всем известно, что високосный год, в отличие от невисокосного, состоит их трёхсот шестидесяти шести дней, вместо привычных трёхсот шестидесяти пяти дней. В високосном году лишний день появляется в феврале, таким образом, февраль насчитывает двадцать девять дней вместо двадцати восьми.
Високосный год бывает раз в четыре года, то есть через каждые три года. Последний раз високосным был в 2012-ом году. Соответственно, следующие ближайшие високосные года - это 2016, 2020, 2024 и т.д.
Таким образом, 2017 год не является високосным.
Но, чтобы постоянно не смотреть в календарь на февраль, чтобы понять високосный год или нет, необходимо запомнить одно простое правило: любой високосный год делиться на 4 без остатка. Если у вас не получается при делении целого числа, то год невисокосный.
К примеру, 2017 / 4 = 504,25. Число не целое, значит, год невисокосный, что и требовалось доказать.