3.7.4 案例：判断某个年份是否是闰年