Chứng minh các tính chất sau bằng quy nạp:
1. Nếu năm y là năm nhuận thì năm 400.n + y cũng là năm nhuận
2. Số ngày của 400 năm liên tiếp nào đó luôn chia hết cho 7
3. Năm y cùng ngày trong tuần với năm 400.n + y
Lưu ý: lịch tiêu chuẩn được áp dụng trên toàn thế giới (kể cả lịch Julius trước đây) không có năm 0.
